Gianfranco, Balbo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency VII Volume 7480 ||

Jensen, Kurt, van der Aalst, Wil M. P., Balbo, Gianfranco, Koutny, Maciej, Wolf, Karsten

Year:

2013

Language:

english

File:

PDF, 7.87 MB

english, 2013

2

Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena

Balbo, Gianfranco, Bruell, Steven C., Ghanta, Subbarao

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 2.51 MB

english, 1986

3

A Mathematical-Biological Joint Effort to Investigate the Tumor-Initiating Ability of Cancer Stem Cells

Fornari, Chiara, Beccuti, Marco, Lanzardo, Stefania, Conti, Laura, Balbo, Gianfranco, Cavallo, Federica, Calogero, Raffaele A., Cordero, Francesca, Hjelmeland, Anita B.

Journal:

Year:

2014

Language:

english

File:

PDF, 822 KB

english, 2014

4

A computational framework for modeling and studying pertussis epidemiology and vaccination

Castagno, Paolo, Pernice, Simone, Ghetti, Gianni, Povero, Massimiliano, Pradelli, Lorenzo, Paolotti, Daniela, Balbo, Gianfranco, Sereno, Matteo, Beccuti, Marco

Journal:

BMC Bioinformatics

Year:

2020

File:

PDF, 6.03 MB

2020

5

Performance Modeling with Deterministic and Stochastic Petri Nets: Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6.

Gianfranco Balbo

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 38 KB

english, 2000

6

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency VII Volume 7480 || Business Process Modeling Using Petri Nets

Jensen, Kurt, van der Aalst, Wil M. P., Balbo, Gianfranco, Koutny, Maciej, Wolf, Karsten

Year:

2013

Language:

english

File:

PDF, 617 KB

english, 2013

7

[Lecture Notes in Computer Science] Application and Theory of Petri Nets 1997 Volume 1248 || Efficient handling of Phase-type distributions in generalized stochastic Petri nets

Azéma, Pierre, Balbo, Gianfranco

Year:

1997

Language:

english

File:

PDF, 1.17 MB

english, 1997

8

Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models

Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele A. Calogero

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 508 KB

english, 2011

9

[ACM Press the 2nd ACM Conference - Chicago, Illinois (2011.08.01-2011.08.03)] Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine - BCB '11 - Cancer stem cell based adjuvant for oncoantingen-driven vaccination

Cordero, Francesca, Lanzardo, Stefania, Arigoni, Maddalena, Fornari, Chiara, Conti, Laura, Balbo, Gianfranco, Cavallo, Federica, Manini, Daniele, Calogero, Raffaele A.

Year:

2011

File:

PDF, 571 KB

2011

10

A computational approach based on the colored Petri net formalism for studying multiple sclerosis

Pernice, Simone, Pennisi, Marzio, Romano, Greta, Maglione, Alessandro, Cutrupi, Santina, Pappalardo, Francesco, Balbo, Gianfranco, Beccuti, Marco, Cordero, Francesca, Calogero, Raffaele A.

Journal:

BMC Bioinformatics

Year:

2019

File:

PDF, 4.33 MB

2019

11

[ACM Press Proceeding of the second joint WOSP/SIPEW international conference - Karlsruhe, Germany (2011.03.14-2011.03.16)] Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11 - Computing first passage time distributions in stochastic well-formed nets

Balbo, Gianfranco, Beccuti, Marco, De Pierro, Massimiliano, Franceschinis, Giuliana

Year:

2011

Language:

english

File:

PDF, 711 KB

english, 2011

12

Abstract only

Balbo, Gianfranco, Beccuti, Marco, De Pierro, Massimiliano, Franceschini, Giuliana

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 711 KB

english, 2011

13

Constructing Matrix Exponential Distributions by Moments and Behavior around Zero

Angius, Alessio, Horváth, András, Halawani, Sami M., Barukab, Omar, Ahmad, Ab Rahman, Balbo, Gianfranco

Journal:

Mathematical Problems in Engineering

Year:

2014

Language:

english

File:

PDF, 2.71 MB

english, 2014

14

Mean value analysis of stochastic Petri nets

Matteo Sereno, Gianfranco Balbo

Journal:

Performance Evaluation

Year:

1997

Language:

english

File:

PDF, 1.99 MB

english, 1997

15

[Lecture Notes in Computer Science] Application and Theory of Petri Nets 1997 Volume 1248 || Multi-agent-systems based on coloured Petri nets

Azéma, Pierre, Balbo, Gianfranco

Year:

1997

Language:

english

File:

PDF, 1.40 MB

english, 1997

16

Approximate analysis of biological systems by hybrid switching jump diffusion

Angius, Alessio, Balbo, Gianfranco, Beccuti, Marco, Bibbona, Enrico, Horvath, Andras, Sirovich, Roberta

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.49 MB

english, 2015

17

Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice

Simone, Pernice, Laura, Follia, Gianfranco, Balbo, Luciano, Milanesi, Giulia, Sartini, Niccoló, Totis, Pietro, Lió, Ivan, Merelli, Francesca, Cordero, Marco, Beccuti, Dennunzio, Alberto, Păun, Gheorgh

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 4.89 MB

2019

18

Simplification of a complex signal transduction model using invariants and flow equivalent servers

Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.80 MB

english, 2011

19

[IEEE 2012 Winter Simulation Conference - (WSC 2012) - Berlin (2012.12.9-2012.12.12)] Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC) - Keynote on “The propagation approach for computing biochemical reaction networks”

Henzinger, Thomas, Rahmstorf, Stefan, Gruber, Kurt, Balbo, Gianfranco

Year:

2012

Language:

english

File:

PDF, 131 KB

english, 2012

20

A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression

Fornari, Chiara, Balbo, Gianfranco, Halawani, Sami M, Ba-Rukab, Omar, Ahmad, Ab, Calogero, Raffaele A, Cordero, Francesca, Beccuti, Marco

Journal:

BMC Systems Biology

Year:

2015

Language:

english

File:

PDF, 7.22 MB

english, 2015

21

On the product-form solution of a class of multiple-bus multiprocessor system models

Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli

Journal:

Journal of Systems and Software

Year:

1986

Language:

english

File:

PDF, 932 KB

english, 1986

22

Asymptotic analysis of multiclass closed queueing networks: Common bottleneck

Gianfranco Balbo, Giuseppe Serazzi

Journal:

Performance Evaluation

Year:

1996

Language:

english

File:

PDF, 1.49 MB

english, 1996

23

Understanding parallel program behavior through petri net models

Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis

Journal:

Journal of Parallel and Distributed Computing

Year:

1992

Language:

english

File:

PDF, 1.73 MB

english, 1992

24

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Ajmone Marsan, Marco, Conte, Gianni, Balbo, Gianfranco

Journal:

ACM Transactions on Computer Systems

Year:

1984

Language:

english

File:

PDF, 1.50 MB

english, 1984

25

[Lecture Notes in Computer Science] Application and Theory of Petri Nets 1997 Volume 1248 || Verification of workflow nets

Azéma, Pierre, Balbo, Gianfranco

Year:

1997

Language:

english

File:

PDF, 1.31 MB

english, 1997

26

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency VII Volume 7480 || Strategies for Modeling Complex Processes Using Colored Petri Nets

Jensen, Kurt, van der Aalst, Wil M. P., Balbo, Gianfranco, Koutny, Maciej, Wolf, Karsten

Year:

2013

Language:

english

File:

PDF, 529 KB

english, 2013

27

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency VII Volume 7480 || Structure Theory of Petri Nets

Jensen, Kurt, van der Aalst, Wil M. P., Balbo, Gianfranco, Koutny, Maciej, Wolf, Karsten

Year:

2013

Language:

english

File:

PDF, 837 KB

english, 2013

28

Asymptotic analysis of multiclass closed queueing networks: Multiple bottlenecks

Gianfranco Balbo, Giuseppe Serazzi

Journal:

Performance Evaluation

Year:

1997

Language:

english

File:

PDF, 2.85 MB

english, 1997

29

[Lecture Notes in Computer Science] Application and Theory of Petri Nets 1997 Volume 1248 || Analysis of Petri nets with a dynamic priority method

Azéma, Pierre, Balbo, Gianfranco

Year:

1997

Language:

english

File:

PDF, 1.12 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски